Autogenerated HTML docs for v1.5.3.7-1005-gdada0c 
diff --git a/git-config.html b/git-config.html index 14615e1..65d40fd 100644 --- a/git-config.html +++ b/git-config.html 
@@ -1515,6 +1515,16 @@  access method.</p>   <dl>   <dt>  +http.proxy  +</dt>  +<dd>  +<p>  + Override the HTTP proxy, normally configured using the <em>http_proxy</em>  + environment variable (see <a href="curl.html">curl(1)</a>). This can be overridden  + on a per-remote basis; see remote.&lt;name&gt;.proxy  +</p>  +</dd>  +<dt>   http.sslVerify   </dt>   <dd>  @@ -1803,6 +1813,16 @@  </p>   </dd>   <dt>  +remote.&lt;name&gt;.proxy  +</dt>  +<dd>  +<p>  + For remotes that require curl (http, https and ftp), the URL to  + the proxy to use for that remote. Set to the empty string to  + disable proxying for that remote.  +</p>  +</dd>  +<dt>   remote.&lt;name&gt;.fetch   </dt>   <dd>  @@ -2004,7 +2024,7 @@  </div>   <div id="footer">   <div id="footer-text">  -Last updated 03-Dec-2007 09:57:28 UTC  +Last updated 04-Dec-2007 08:28:18 UTC   </div>   </div>   </body>